Ready To Preorder: Get Your BCCSP Axiomatization for Free!
نویسندگان
چکیده
منابع مشابه
Ready to Preorder: Get Your BCCSP Axiomatization for Free!
This paper contributes to the study of the equational theory of the semantics in van Glabbeek’s linear time branching time spectrum over the language BCCSP, a basic process algebra for the description of finite synchronization trees. It offers an algorithm for producing a complete (respectively, ground-complete) equational axiomatization of any behavioral congruence lying between ready simulati...
متن کاملAxiomatizing Weak Ready Simulation Semantics over BCCSP
Ready simulation has proven to be one of the most significant semantics in process theory. It is at the heart of a number of general results that pave the way to a comprehensive understanding of the spectrum of process semantics. Since its original definition by Bloom, Istrail and Meyer in 1995, several authors have proposed generalizations of ready simulation to deal with internal actions. How...
متن کاملReady to preorder: The case of weak process semantics
Recently, Aceto, Fokkink & Ingólfsdóttir proposed an algorithm to turn any sound and ground-complete axiomatisation of any preorder listed in the linear time – branching time spectrum at least as coarse as the ready simulation preorder, into a sound and ground-complete axiomatisation of the corresponding equivalence—its kernel. Moreover, if the former axiomatisation is ω-complete, so is the lat...
متن کاملReady to preorder: an algebraic and general proof
There have been quite a few proposals for behavioural equivalences for concurrent processes, and many of them are presented in Van Glabbeek’s linear timebranching time spectrum. Since their original definitions are based on rather different ideas, proving general properties of them all would seem to require a case-bycase study. However, the use of their axiomatizations allows a uniform treatmen...
متن کاملGet Ready for Agile Methods, with Care
F aced with the conflicting pressures of accelerated product development and users who demand that increasingly vital systems be made ever more dependable, software development has been thrown into turmoil. Traditionalists advocate using extensive planning, codified processes, and rigorous reuse to make development an efficient and predictable activity that gradually matures toward perfection. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 2007
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v14i3.21926